1
Foundations: From Separation of Variables to the S-L Operator
MATH009 Lesson 11
00:00

The Sturm-Liouville (S-L) theory arises as the mathematical bridge between physical conservation laws—governing phenomena like vibrating strings and electrical transmission—and the formal language of linear operators. By applying Newton’s Second Law to an infinitesimal element $\Delta x$ and utilizing the method of separation of variables, we transform specific Partial Differential Equations (PDEs) into a generalized ODE framework $(p(x)X')' - q(x)X + \lambda r(x)X = 0$.

The Physics of Motion: From Strings to Equations

Newton's law, as it applies to the element $\Delta x$ of the string, states that the net external force, due to the tension at the ends of the element, must be equal to the product of the mass of the element and the acceleration of its mass center: $\rho \Delta x u_{tt}(\bar{x}, t)$.

Resolving tension $T$ into horizontal $H$ and vertical $V$ components (as seen in Figure 10.B.1), we establish equilibrium and motion:

  • Horizontal Equilibrium: $T(x + \Delta x, t) \cos(\theta + \Delta \theta) - T(x, t) \cos \theta = 0$ (yielding constant $H$).
  • Vertical Motion: $\frac{V(x + \Delta x, t) - V(x, t)}{\Delta x} = \rho u_{tt}(\bar{x}, t)$, which leads to the gradient relation $V_x(x, t) = \rho u_{tt}(x, t)$.
  • Wave Propagation: Substituting $V(x, t) = H(t) \tan \theta \approx H(t) u_x(x, t)$ results in $H u_{xx} = \rho u_{tt}$, or the standard wave equation for one space dimension: $a^2 u_{xx} = u_{tt}$, where $a^2 = \frac{T}{\rho}$ is the wave velocity.

The Telegraph Equation and Generalization

Real-world systems are rarely ideal. They incorporate a viscous damping force ($-c u_t$) and an elastic restoring force ($-k u$). This produces the telegraph equation:

$$u_{tt} + c u_t + k u = a^2 u_{xx} + F(x, t)$$

The telegraph equation also governs the flow of voltage, or current, in a transmission line (hence its name); in this case the coefficients are related to electrical parameters in the line. Extending this to higher dimensions gives us $a^2(u_{xx} + u_{yy}) = u_{tt}$ or $a^2(u_{xx} + u_{yy} + u_{zz}) = u_{tt}$.

The Genesis of the S-L Operator

When we apply separation of variables ($u = X(x)T(t)$) to a generalized equation like $r(x) u_t = (p(x) u_x)_x - q(x) u$, we obtain a ratio equal to a separation constant $-\lambda$:

Separation Step
$$\frac{T'}{T} = \frac{(p(x) X')'}{r(x) X} - \frac{q(x)}{r(x)} = -\lambda$$
Resulting ODEs

This forces the temporal component into $T' + \lambda T = 0$ and the spatial component into the fundamental S-L form:

$$(p(x) X')' - q(x)X + \lambda r(x)X = 0$$
🎯 Core Principle
The S-L operator $L[y] = -(p(x)y')' + q(x)y$ acts as a universal vessel for spatial dynamics. Whether we start with heat conduction ($\alpha^2 u_{xx} = u_t$) or vibrating strings ($a^2 u_{xx} = u_{tt}$), the spatial component $X(x)$ always reduces to an S-L eigenvalue problem.